s1000i0.txt n k s Lmax Lower bound is OPT? 0 3 1 1000 1992 1992 Opt 1 15 9 1000 1044 1026 2 45 3 1000 14378 14378 Opt 3 22 3 1000 7157 7157 Opt 4 10 7 1000 1016 1016 Opt 5 11 6 1000 1037 1028 Opt 6 40 4 1000 9322 9322 Opt 7 36 3 1000 11258 11258 Opt 8 4 4 1000 -9 -9 Opt 9 46 5 1000 9369 9369 Opt s1000i1.txt n k s Lmax Lower bound is OPT? 0 34 8 1000 4215 4207 1 27 1 1000 26187 26187 Opt 2 82 5 1000 16816 16812 3 85 3 1000 28793 28788 4 75 7 1000 10678 10677 Opt 5 95 10 1000 9953 9953 Opt 6 33 3 1000 10236 10236 Opt 7 65 1 1000 64522 64522 Opt 8 20 3 1000 6106 6106 Opt 9 66 9 1000 7522 7519 Opt s1000i2.txt n k s Lmax Lower bound is OPT? 0 20 8 1000 2152 2152 Opt 1 85 6 1000 14753 14753 Opt 2 11 9 1000 1031 1027 3 3 7 1000 -10 -10 Opt 4 6 9 1000 29 29 Opt 5 13 10 1000 1060 1060 Opt 6 40 4 1000 9428 9427 Opt 7 4 1 1000 2945 2945 Opt 8 3 6 1000 -39 -39 Opt 9 46 10 1000 4315 4308 Opt s1000i3.txt n k s Lmax Lower bound is OPT? 0 7 5 1000 998 980 Opt 1 22 4 1000 5185 5185 Opt 2 50 7 1000 7490 7490 Opt 3 50 10 1000 4429 4428 4 77 8 1000 9785 9782 5 54 8 1000 6500 6500 Opt 6 88 2 1000 43775 43775 Opt 7 94 4 1000 23941 23941 Opt 8 20 5 1000 3147 3147 Opt 9 42 1 1000 41375 41375 Opt s1000i4.txt n k s Lmax Lower bound is OPT? 0 78 6 1000 12708 12677 1 60 10 1000 5462 5457 2 32 10 1000 3282 3282 Opt 3 46 4 1000 11408 11408 Opt 4 9 9 1000 41 41 Opt 5 41 5 1000 8420 8420 Opt 6 22 5 1000 4172 4172 Opt 7 37 1 1000 36392 36392 Opt 8 29 9 1000 3153 3153 Opt 9 91 10 1000 9918 9917 s1000i5.txt n k s Lmax Lower bound is OPT? 0 14 7 1000 1081 1030 1 19 6 1000 3127 3127 Opt 2 35 4 1000 8226 8225 Opt 3 85 10 1000 8858 8858 Opt 4 13 2 1000 6068 6068 Opt 5 28 4 1000 6220 6220 Opt 6 79 10 1000 7828 7828 Opt 7 69 3 1000 22669 22669 Opt 8 54 7 1000 7462 7462 Opt 9 46 6 1000 7366 7363 Opt s1000i6.txt n k s Lmax Lower bound is OPT? 0 3 4 1000 -16 -16 Opt 1 3 1 1000 1956 1956 Opt 2 44 2 1000 21416 21416 Opt 3 66 2 1000 32640 32640 Opt 4 84 1 1000 83779 83779 Opt 5 36 9 1000 3247 3233 6 35 4 1000 8241 8232 7 27 4 1000 6195 6194 8 41 6 1000 6386 6362 9 9 8 1000 1041 1041 Opt s1000i7.txt n k s Lmax Lower bound is OPT? 0 77 2 1000 38583 38583 Opt 1 39 8 1000 4355 4355 Opt 2 41 9 1000 4343 4336 Opt 3 48 7 1000 6458 6458 Opt 4 98 9 1000 10901 10901 Opt 5 68 6 1000 11671 11664 6 94 10 1000 9818 9818 Opt 7 16 5 1000 3039 3039 Opt 8 94 3 1000 31832 31832 Opt 9 53 8 1000 6527 6527 Opt s1000i8.txt n k s Lmax Lower bound is OPT? 0 25 1 1000 24144 24144 Opt 1 78 7 1000 11592 11592 Opt 2 60 1 1000 59520 59520 Opt 3 49 5 1000 9424 9424 Opt 4 11 10 1000 1036 1036 Opt 5 60 10 1000 5516 5510 6 68 6 1000 11635 11631 7 67 1 1000 66529 66529 Opt 8 14 10 1000 1083 1083 Opt 9 34 6 1000 5255 5255 Opt s1000i9.txt n k s Lmax Lower bound is OPT? 0 81 1 1000 80796 80796 Opt 1 75 5 1000 14645 14641 2 42 8 1000 5344 5344 Opt 3 60 7 1000 8528 8522 Opt 4 91 7 1000 12823 12796 5 60 9 1000 6507 6507 Opt 6 99 7 1000 15061 15061 Opt 7 33 5 1000 6254 6254 Opt 8 20 2 1000 9092 9087 Opt 9 63 5 1000 12619 12619 Opt s100i0.txt n k s Lmax Lower bound is OPT? 0 88 4 100 2911 2911 Opt 1 60 6 100 1373 1373 Opt 2 40 5 100 1018 1018 Opt 3 27 6 100 576 576 Opt 4 89 4 100 2940 2940 Opt 5 46 10 100 833 832 6 80 2 100 4735 4729 Opt 7 96 3 100 4080 4080 Opt 8 79 8 100 1651 1638 9 8 3 100 197 197 Opt s100i1.txt n k s Lmax Lower bound is OPT? 0 78 2 100 4509 4509 Opt 1 24 8 100 349 349 Opt 2 14 7 100 136 131 Opt 3 93 5 100 2693 2692 4 64 9 100 1238 1238 Opt 5 33 3 100 1215 1215 Opt 6 99 7 100 2333 2331 7 62 6 100 1621 1621 Opt 8 63 9 100 1181 1180 9 57 9 100 1003 998 s100i2.txt n k s Lmax Lower bound is OPT? 0 61 2 100 3566 3566 Opt 1 87 7 100 2003 2003 Opt 2 84 6 100 2014 2007 3 85 3 100 3654 3654 Opt 4 20 4 100 503 503 Opt 5 14 9 100 142 142 Opt 6 9 2 100 401 401 Opt 7 75 5 100 2041 2041 Opt 8 51 8 100 1020 1016 9 33 4 100 1071 1071 Opt s100i3.txt n k s Lmax Lower bound is OPT? 0 3 4 100 -20 -20 Opt 1 61 2 100 3589 3589 Opt 2 67 3 100 2842 2842 Opt 3 3 7 100 8 8 Opt 4 45 10 100 722 714 5 63 2 100 3619 3619 Opt 6 95 1 100 10157 10157 Opt 7 72 5 100 2017 2017 Opt 8 94 2 100 5559 5559 Opt 9 43 4 100 1307 1301 s100i4.txt n k s Lmax Lower bound is OPT? 0 52 6 100 1205 1205 Opt 1 63 1 100 6706 6706 Opt 2 65 2 100 3850 3850 Opt 3 73 8 100 1517 1517 Opt 4 77 4 100 2616 2616 Opt 5 5 8 100 15 15 Opt 6 45 3 100 1797 1797 Opt 7 67 5 100 1926 1922 8 10 8 100 118 111 9 43 6 100 1064 1064 Opt s100i5.txt n k s Lmax Lower bound is OPT? 0 35 6 100 811 805 1 42 7 100 878 876 2 87 1 100 9409 9409 Opt 3 73 5 100 2099 2096 Opt 4 25 1 100 2570 2570 Opt 5 21 9 100 314 314 Opt 6 48 1 100 5092 5092 Opt 7 6 9 100 43 43 Opt 8 55 7 100 1217 1209 9 17 1 100 1687 1687 Opt s100i6.txt n k s Lmax Lower bound is OPT? 0 57 8 100 1138 1138 Opt 1 12 9 100 148 148 Opt 2 52 1 100 5532 5532 Opt 3 74 9 100 1552 1551 4 42 3 100 1601 1598 Opt 5 18 4 100 498 498 Opt 6 16 3 100 554 554 Opt 7 73 10 100 1376 1373 Opt 8 69 8 100 1432 1432 Opt 9 48 8 100 953 938 s100i7.txt n k s Lmax Lower bound is OPT? 0 89 4 100 2927 2926 1 39 4 100 1216 1216 Opt 2 48 8 100 934 927 Opt 3 87 3 100 3616 3616 Opt 4 20 6 100 413 413 Opt 5 67 2 100 3937 3937 Opt 6 52 1 100 5541 5541 Opt 7 61 9 100 1249 1242 8 58 5 100 1576 1575 9 62 5 100 1751 1733 s100i8.txt n k s Lmax Lower bound is OPT? 0 16 4 100 403 403 Opt 1 45 1 100 4769 4769 Opt 2 23 7 100 445 445 Opt 3 92 9 100 1804 1803 4 91 5 100 2649 2649 Opt 5 68 1 100 7270 7270 Opt 6 20 9 100 282 280 7 58 5 100 1563 1560 8 81 8 100 1755 1753 9 82 10 100 1512 1512 Opt s100i9.txt n k s Lmax Lower bound is OPT? 0 98 4 100 3369 3361 1 9 4 100 224 224 Opt 2 74 9 100 1523 1523 Opt 3 25 5 100 595 595 Opt 4 26 10 100 428 426 5 100 3 100 4224 4224 Opt 6 96 4 100 3289 3282 7 77 3 100 3229 3224 Opt 8 45 9 100 806 804 9 6 7 100 -2 -2 Opt s10i0.txt n k s Lmax Lower bound is OPT? 0 2 10 10 -18 -18 Opt 1 63 9 10 632 604 2 23 5 10 212 205 3 45 1 10 882 882 Opt 4 10 3 10 63 59 Opt 5 74 8 10 803 783 6 14 9 10 71 71 Opt 7 21 9 10 123 116 8 97 7 10 1112 1095 9 70 1 10 1352 1352 Opt s10i1.txt n k s Lmax Lower bound is OPT? 0 4 6 10 20 20 Opt 1 96 3 10 1253 1252 Opt 2 84 6 10 837 835 3 42 10 10 390 390 Opt 4 86 8 10 999 979 5 97 3 10 1229 1205 6 30 4 10 299 299 Opt 7 27 2 10 276 276 Opt 8 85 10 10 712 692 9 51 1 10 935 935 Opt s10i2.txt n k s Lmax Lower bound is OPT? 0 18 7 10 105 105 Opt 1 80 3 10 1013 1013 Opt 2 9 6 10 22 22 Opt 3 93 8 10 925 916 4 61 3 10 702 694 5 82 5 10 917 914 6 83 6 10 877 856 7 28 5 10 245 245 Opt 8 39 2 10 445 445 Opt 9 88 6 10 1056 1046 s10i3.txt n k s Lmax Lower bound is OPT? 0 22 8 10 159 159 Opt 1 52 7 10 541 521 2 53 4 10 596 596 Opt 3 73 9 10 765 747 4 33 9 10 341 331 5 62 5 10 696 694 6 17 3 10 150 150 Opt 7 17 6 10 146 143 Opt 8 95 5 10 950 911 9 55 3 10 649 637 s10i4.txt n k s Lmax Lower bound is OPT? 0 48 9 10 428 412 1 72 4 10 842 842 Opt 2 52 7 10 498 488 3 77 3 10 980 976 4 43 5 10 384 373 5 38 5 10 331 327 6 82 10 10 920 910 7 81 3 10 1023 1023 Opt 8 19 2 10 146 144 Opt 9 26 4 10 253 253 Opt s10i5.txt n k s Lmax Lower bound is OPT? 0 4 5 10 -9 -9 Opt 1 11 2 10 36 31 Opt 2 30 2 10 372 372 Opt 3 100 3 10 1265 1265 Opt 4 91 5 10 1073 1043 5 93 5 10 1094 1060 6 34 4 10 340 340 Opt 7 46 5 10 486 483 8 46 8 10 496 496 Opt 9 28 7 10 213 209 s10i6.txt n k s Lmax Lower bound is OPT? 0 18 7 10 74 74 Opt 1 48 4 10 582 570 2 89 4 10 1119 1086 3 19 5 10 130 130 Opt 4 39 3 10 422 422 Opt 5 69 1 10 1299 1299 Opt 6 7 10 10 20 20 Opt 7 68 2 10 952 952 Opt 8 57 4 10 626 626 Opt 9 69 3 10 935 935 Opt s10i7.txt n k s Lmax Lower bound is OPT? 0 21 6 10 157 157 Opt 1 93 1 10 1757 1757 Opt 2 70 8 10 763 743 3 49 10 10 370 350 4 75 8 10 847 826 5 24 9 10 242 238 6 20 3 10 170 170 Opt 7 30 5 10 270 254 8 21 7 10 125 125 Opt 9 15 1 10 219 219 Opt s10i8.txt n k s Lmax Lower bound is OPT? 0 95 3 10 1203 1200 1 71 4 10 779 777 Opt 2 86 4 10 1054 1052 3 36 3 10 468 468 Opt 4 92 10 10 1101 1086 5 30 5 10 265 260 Opt 6 35 10 10 350 350 Opt 7 81 5 10 961 961 Opt 8 34 10 10 303 303 Opt 9 69 9 10 712 698 s10i9.txt n k s Lmax Lower bound is OPT? 0 39 10 10 376 361 1 71 9 10 808 784 2 13 2 10 103 103 Opt 3 49 7 10 494 486 4 61 8 10 695 690 5 59 9 10 553 534 6 18 8 10 134 129 7 68 6 10 792 772 8 51 4 10 560 560 Opt 9 80 6 10 1020 1009 s1i0.txt n k s Lmax Lower bound is OPT? 0 37 10 1 277 276 1 32 2 1 262 254 2 97 3 1 1034 1023 3 61 3 1 541 532 4 80 10 1 725 722 5 55 4 1 479 473 6 27 9 1 194 191 7 77 8 1 656 653 8 16 2 1 105 105 Opt 9 57 6 1 543 541 s1i1.txt n k s Lmax Lower bound is OPT? 0 78 2 1 870 863 1 4 6 1 4 4 Opt 2 68 7 1 640 631 3 11 8 1 82 82 Opt 4 59 8 1 486 480 5 44 6 1 457 455 6 26 10 1 181 178 7 61 1 1 628 602 8 29 6 1 238 238 Opt 9 75 6 1 720 717 s1i2.txt n k s Lmax Lower bound is OPT? 0 63 7 1 530 527 1 3 6 1 -49 -49 Opt 2 3 1 1 -16 -17 Opt 3 23 7 1 138 137 4 83 10 1 716 713 5 27 10 1 126 125 6 22 5 1 127 124 Opt 7 4 2 1 7 7 Opt 8 9 8 1 20 20 Opt 9 100 4 1 1012 1003 s1i3.txt n k s Lmax Lower bound is OPT? 0 97 6 1 915 911 1 98 6 1 994 989 2 22 6 1 137 137 Opt 3 71 4 1 584 576 4 94 2 1 1073 1064 5 21 9 1 112 112 Opt 6 8 4 1 13 13 Opt 7 83 1 1 831 831 Opt 8 91 5 1 948 943 9 83 2 1 848 836 s1i4.txt n k s Lmax Lower bound is OPT? 0 97 7 1 921 912 1 63 3 1 602 595 2 63 4 1 603 598 3 43 8 1 321 315 4 5 2 1 16 16 Opt 5 58 10 1 541 539 6 76 2 1 783 767 7 4 8 1 -4 -4 Opt 8 23 8 1 159 158 9 94 1 1 1150 1125 s1i5.txt n k s Lmax Lower bound is OPT? 0 92 4 1 892 890 1 64 3 1 609 602 2 20 5 1 126 126 Opt 3 75 10 1 694 690 4 32 2 1 235 230 5 61 2 1 563 551 6 29 1 1 268 268 Opt 7 38 10 1 286 285 8 12 4 1 75 75 Opt 9 16 7 1 75 75 Opt s1i6.txt n k s Lmax Lower bound is OPT? 0 97 4 1 968 960 1 14 1 1 70 69 Opt 2 53 9 1 522 520 3 82 8 1 784 779 4 72 3 1 679 671 5 66 1 1 664 654 6 71 10 1 528 519 7 92 7 1 909 907 8 33 9 1 292 288 9 42 6 1 328 326 s1i7.txt n k s Lmax Lower bound is OPT? 0 24 3 1 167 167 Opt 1 50 9 1 450 443 2 71 8 1 714 712 3 99 2 1 1000 985 4 52 4 1 419 413 5 83 8 1 849 842 6 69 2 1 681 667 7 47 9 1 338 337 8 29 7 1 204 203 9 39 3 1 312 312 Opt s1i8.txt n k s Lmax Lower bound is OPT? 0 12 8 1 42 42 Opt 1 38 4 1 333 333 Opt 2 13 3 1 89 89 Opt 3 51 2 1 458 446 4 83 10 1 753 744 5 55 2 1 467 452 6 92 8 1 861 848 7 12 10 1 75 75 Opt 8 20 8 1 111 111 Opt 9 48 4 1 449 446 s1i9.txt n k s Lmax Lower bound is OPT? 0 67 9 1 722 720 1 18 8 1 89 89 Opt 2 6 7 1 14 14 Opt 3 7 1 1 26 25 Opt 4 27 10 1 123 122 5 78 8 1 732 731 6 3 10 1 9 9 Opt 7 39 7 1 265 263 8 50 1 1 483 468 9 24 4 1 188 188 Opt s200i0.txt n k s Lmax Lower bound is OPT? 0 24 5 200 947 947 Opt 1 75 5 200 3502 3497 2 79 6 200 3311 3311 Opt 3 98 8 200 3310 3310 Opt 4 74 10 200 2057 2057 Opt 5 26 10 200 622 609 6 87 9 200 2679 2678 7 87 4 200 4980 4979 8 74 9 200 2295 2295 Opt 9 50 5 200 2196 2193 s200i1.txt n k s Lmax Lower bound is OPT? 0 72 10 200 2097 2096 1 51 10 200 1454 1454 Opt 2 84 6 200 3336 3330 3 75 10 200 2041 2041 Opt 4 39 5 200 1689 1689 Opt 5 86 9 200 2581 2567 6 46 9 200 1384 1384 Opt 7 35 8 200 1011 1011 Opt 8 61 9 200 1732 1732 Opt 9 19 10 200 317 295 s200i2.txt n k s Lmax Lower bound is OPT? 0 56 2 200 5927 5927 Opt 1 90 8 200 3055 3054 2 90 3 200 6647 6647 Opt 3 90 2 200 9639 9639 Opt 4 41 10 200 1133 1133 Opt 5 93 4 200 5447 5442 6 3 5 200 1 1 Opt 7 28 5 200 1162 1157 Opt 8 63 4 200 3649 3647 9 43 1 200 8717 8717 Opt s200i3.txt n k s Lmax Lower bound is OPT? 0 96 7 200 3472 3469 Opt 1 60 1 200 12328 12328 Opt 2 76 2 200 8053 8053 Opt 3 55 3 200 4091 4091 Opt 4 84 7 200 2976 2963 5 13 3 200 823 823 Opt 6 82 2 200 8777 8774 Opt 7 64 6 200 2602 2602 Opt 8 60 10 200 1619 1601 9 6 6 200 40 40 Opt s200i4.txt n k s Lmax Lower bound is OPT? 0 69 2 200 7444 7444 Opt 1 57 2 200 6048 6044 Opt 2 59 9 200 1720 1720 Opt 3 90 5 200 4332 4331 4 56 8 200 1619 1615 5 66 2 200 6986 6986 Opt 6 18 7 200 493 493 Opt 7 5 5 200 21 16 Opt 8 18 3 200 1111 1111 Opt 9 82 1 200 16909 16909 Opt s200i5.txt n k s Lmax Lower bound is OPT? 0 74 5 200 3500 3499 Opt 1 83 1 200 17200 17200 Opt 2 68 7 200 2334 2327 3 70 10 200 1829 1826 Opt 4 93 8 200 3103 3102 5 98 3 200 7208 7206 6 21 5 200 970 970 Opt 7 91 9 200 2879 2879 Opt 8 22 10 200 547 547 Opt 9 54 2 200 5650 5650 Opt s200i6.txt n k s Lmax Lower bound is OPT? 0 69 4 200 4002 4001 1 62 1 200 12834 12834 Opt 2 23 3 200 1563 1558 Opt 3 62 5 200 2897 2897 Opt 4 15 2 200 1521 1521 Opt 5 17 10 200 296 276 6 6 1 200 957 957 Opt 7 99 3 200 7352 7352 Opt 8 86 9 200 2624 2620 9 22 5 200 936 936 Opt s200i7.txt n k s Lmax Lower bound is OPT? 0 12 8 200 218 201 1 22 7 200 726 726 Opt 2 86 7 200 3180 3180 Opt 3 12 7 200 291 291 Opt 4 27 1 200 5421 5421 Opt 5 40 9 200 1025 1025 Opt 6 51 4 200 2746 2746 Opt 7 4 10 200 -10 -10 Opt 8 86 9 200 2579 2578 9 42 10 200 1091 1085 s200i8.txt n k s Lmax Lower bound is OPT? 0 93 5 200 4503 4501 1 73 6 200 3070 3070 Opt 2 54 9 200 1439 1437 3 50 1 200 10286 10286 Opt 4 82 6 200 3416 3416 Opt 5 9 3 200 420 420 Opt 6 8 7 200 191 191 Opt 7 64 3 200 4758 4758 Opt 8 73 7 200 2701 2695 Opt 9 39 2 200 4141 4141 Opt s200i9.txt n k s Lmax Lower bound is OPT? 0 57 1 200 11641 11641 Opt 1 78 9 200 2315 2288 2 87 8 200 2815 2813 3 89 2 200 9613 9613 Opt 4 29 8 200 834 832 Opt 5 22 8 200 557 554 6 47 7 200 1567 1556 7 69 3 200 5002 5002 Opt 8 12 5 200 461 461 Opt 9 46 9 200 1365 1365 Opt s20i0.txt n k s Lmax Lower bound is OPT? 0 62 8 20 706 704 1 56 9 20 607 587 2 46 10 20 469 446 3 90 3 20 1427 1427 Opt 4 24 7 20 256 256 Opt 5 64 8 20 759 728 6 59 1 20 1696 1696 Opt 7 68 10 20 780 760 8 99 4 20 1269 1269 Opt 9 3 8 20 18 18 Opt s20i1.txt n k s Lmax Lower bound is OPT? 0 10 4 20 83 83 Opt 1 40 2 20 701 701 Opt 2 66 2 20 1168 1168 Opt 3 9 4 20 59 58 Opt 4 96 5 20 1186 1184 5 31 4 20 331 331 Opt 6 13 5 20 77 77 Opt 7 47 4 20 574 574 Opt 8 6 10 20 29 29 Opt 9 27 9 20 278 250 s20i2.txt n k s Lmax Lower bound is OPT? 0 65 4 20 867 843 1 70 1 20 2008 2008 Opt 2 50 10 20 435 401 3 33 9 20 346 336 4 72 9 20 900 868 5 13 3 20 151 151 Opt 6 32 6 20 337 332 7 42 2 20 825 819 Opt 8 10 5 20 42 34 Opt 9 14 10 20 114 100 s20i3.txt n k s Lmax Lower bound is OPT? 0 12 10 20 74 71 1 58 10 20 660 632 2 70 6 20 906 875 3 9 1 20 183 183 Opt 4 65 8 20 664 648 5 82 3 20 1239 1239 Opt 6 24 6 20 245 213 7 99 1 20 2973 2973 Opt 8 51 2 20 880 878 Opt 9 65 2 20 1242 1242 Opt s20i4.txt n k s Lmax Lower bound is OPT? 0 36 8 20 433 423 1 88 3 20 1420 1420 Opt 2 44 9 20 437 436 3 83 5 20 1037 1005 4 83 4 20 1241 1241 Opt 5 13 3 20 134 134 Opt 6 15 1 20 384 384 Opt 7 75 2 20 1409 1409 Opt 8 55 2 20 960 960 Opt 9 68 10 20 764 758 s20i5.txt n k s Lmax Lower bound is OPT? 0 78 5 20 946 940 1 87 6 20 1131 1126 2 82 10 20 1026 1010 3 72 3 20 1036 1033 Opt 4 59 7 20 713 695 5 53 4 20 649 642 6 47 4 20 540 531 7 19 7 20 139 139 Opt 8 84 8 20 897 890 9 62 5 20 847 807 s20i6.txt n k s Lmax Lower bound is OPT? 0 97 4 20 1412 1412 Opt 1 63 9 20 749 720 2 98 8 20 1084 1067 3 25 8 20 219 214 4 62 3 20 961 961 Opt 5 46 5 20 515 494 6 93 4 20 1389 1388 7 87 10 20 999 984 8 75 8 20 928 928 Opt 9 66 6 20 839 834 Opt s20i7.txt n k s Lmax Lower bound is OPT? 0 6 2 20 7 7 Opt 1 39 9 20 488 470 2 80 7 20 927 908 3 57 3 20 848 831 Opt 4 61 9 20 688 668 5 61 5 20 750 750 Opt 6 42 6 20 440 439 7 19 8 20 122 122 Opt 8 12 2 20 142 142 Opt 9 88 3 20 1455 1455 Opt s20i8.txt n k s Lmax Lower bound is OPT? 0 39 5 20 445 439 Opt 1 87 9 20 1018 994 2 62 10 20 705 704 3 32 4 20 389 376 Opt 4 57 3 20 940 940 Opt 5 85 1 20 2461 2461 Opt 6 7 4 20 19 16 Opt 7 82 10 20 907 905 8 16 6 20 149 149 Opt 9 6 4 20 18 18 Opt s20i9.txt n k s Lmax Lower bound is OPT? 0 31 6 20 321 321 Opt 1 66 4 20 934 930 2 90 7 20 1172 1164 3 80 2 20 1484 1484 Opt 4 54 8 20 483 462 5 19 4 20 218 218 Opt 6 3 3 20 -6 -6 Opt 7 97 10 20 1146 1132 8 96 8 20 1175 1154 9 48 9 20 513 496 s2i0.txt n k s Lmax Lower bound is OPT? 0 60 6 2 491 485 1 64 10 2 610 606 2 83 8 2 827 823 3 70 5 2 683 676 4 91 4 2 892 878 5 37 6 2 279 269 6 78 9 2 759 753 7 98 3 2 1126 1113 8 62 1 2 760 760 Opt 9 80 2 2 909 873 s2i1.txt n k s Lmax Lower bound is OPT? 0 33 10 2 222 222 Opt 1 96 6 2 960 952 2 38 8 2 294 286 3 11 9 2 51 51 Opt 4 91 1 2 995 995 Opt 5 50 2 2 491 471 6 69 1 2 774 769 Opt 7 58 1 2 704 704 Opt 8 82 1 2 968 951 9 94 6 2 961 949 s2i2.txt n k s Lmax Lower bound is OPT? 0 78 4 2 834 822 1 32 4 2 209 200 Opt 2 89 9 2 902 896 3 58 10 2 533 529 4 73 1 2 742 742 Opt 5 18 4 2 119 114 Opt 6 44 6 2 459 459 Opt 7 96 2 2 1017 994 8 37 3 2 346 338 9 10 8 2 45 45 Opt s2i3.txt n k s Lmax Lower bound is OPT? 0 58 5 2 556 550 1 83 5 2 718 709 2 40 8 2 338 334 3 8 8 2 20 20 Opt 4 53 1 2 562 562 Opt 5 89 10 2 765 759 6 2 5 2 -57 -57 Opt 7 30 4 2 199 199 Opt 8 21 6 2 110 110 Opt 9 94 2 2 965 930 s2i4.txt n k s Lmax Lower bound is OPT? 0 93 7 2 943 937 1 68 1 2 666 666 Opt 2 58 7 2 498 494 3 99 8 2 967 961 4 90 5 2 886 874 5 90 5 2 869 864 6 53 8 2 491 490 7 4 2 2 4 4 Opt 8 63 8 2 615 611 9 24 2 2 185 185 Opt s2i5.txt n k s Lmax Lower bound is OPT? 0 30 1 2 282 282 Opt 1 45 7 2 387 380 2 12 6 2 78 78 Opt 3 21 10 2 148 146 4 66 3 2 653 638 5 74 10 2 769 765 6 38 8 2 263 254 7 37 1 2 326 326 Opt 8 60 5 2 507 501 9 91 6 2 864 856 s2i6.txt n k s Lmax Lower bound is OPT? 0 44 8 2 393 389 1 82 4 2 751 741 2 99 2 2 1009 988 3 72 7 2 645 641 4 30 4 2 211 206 Opt 5 45 7 2 331 322 6 45 3 2 406 406 Opt 7 59 7 2 569 563 8 4 4 2 5 5 Opt 9 77 10 2 721 714 s2i7.txt n k s Lmax Lower bound is OPT? 0 49 3 2 448 433 1 83 2 2 952 922 2 74 4 2 585 574 3 25 6 2 165 165 Opt 4 23 9 2 187 186 5 91 9 2 840 834 6 65 9 2 565 559 7 38 9 2 308 307 8 46 8 2 450 448 9 6 9 2 1 1 Opt s2i8.txt n k s Lmax Lower bound is OPT? 0 58 9 2 521 516 1 70 5 2 660 648 2 41 10 2 347 347 Opt 3 9 4 2 -2 -3 Opt 4 89 10 2 918 912 5 18 5 2 114 114 Opt 6 38 5 2 322 320 7 86 4 2 915 905 8 45 2 2 410 410 Opt 9 69 9 2 704 700 s2i9.txt n k s Lmax Lower bound is OPT? 0 14 5 2 84 84 Opt 1 13 8 2 59 59 Opt 2 4 5 2 24 24 Opt 3 19 10 2 108 106 4 56 9 2 516 513 5 17 6 2 100 100 Opt 6 11 8 2 35 35 Opt 7 73 3 2 650 638 8 69 4 2 736 724 9 65 9 2 645 638 s500i0.txt n k s Lmax 0 0 95 1 500 47792 47792 Opt 1 92 1 500 46361 46361 Opt 2 48 7 500 3398 3396 3 51 6 500 4485 4485 Opt 4 93 3 500 15908 15908 Opt 5 47 9 500 2938 2935 6 74 10 500 4186 4186 Opt 7 22 2 500 5151 5144 Opt 8 82 2 500 20777 20777 Opt 9 31 8 500 1714 1714 Opt s500i1.txt n k s Lmax 0 0 37 9 500 2365 2365 Opt 1 95 4 500 12414 12414 Opt 2 36 9 500 1799 1793 3 84 9 500 5229 5229 Opt 4 52 9 500 2911 2903 5 52 4 500 6381 6379 Opt 6 8 2 500 1489 1489 Opt 7 33 5 500 3222 3219 8 78 10 500 4218 4180 9 29 10 500 1145 1144 s500i2.txt n k s Lmax 0 0 83 5 500 8769 8767 1 98 6 500 8860 8860 Opt 2 52 1 500 25921 25921 Opt 3 79 2 500 20225 20225 Opt 4 53 7 500 3902 3902 Opt 5 7 8 500 23 23 Opt 6 82 9 500 5245 5245 Opt 7 68 6 500 6133 6130 8 79 5 500 8175 8164 Opt 9 78 4 500 10260 10260 Opt s500i3.txt n k s Lmax 0 0 12 1 500 5523 5523 Opt 1 100 2 500 25437 25437 Opt 2 13 8 500 543 541 Opt 3 22 1 500 10645 10645 Opt 4 33 7 500 2213 2178 5 58 4 500 7522 7522 Opt 6 46 9 500 2911 2905 7 74 10 500 4166 4166 Opt 8 50 2 500 12439 12437 Opt 9 99 2 500 25431 25431 Opt s500i4.txt n k s Lmax 0 0 25 1 500 12149 12149 Opt 1 43 4 500 5347 5343 2 20 7 500 1098 1081 3 47 3 500 7827 7827 Opt 4 32 2 500 7718 7718 Opt 5 31 2 500 7689 7689 Opt 6 14 8 500 581 581 Opt 7 66 2 500 16657 16657 Opt 8 96 2 500 24487 24487 Opt 9 81 7 500 6205 6205 Opt s500i5.txt n k s Lmax 0 0 15 7 500 1079 1079 Opt 1 71 3 500 12149 12149 Opt 2 14 8 500 576 556 3 11 10 500 538 534 4 42 7 500 2916 2916 Opt 5 41 6 500 3376 3376 Opt 6 94 3 500 16477 16477 Opt 7 82 10 500 4764 4764 Opt 8 53 4 500 6923 6923 Opt 9 53 4 500 6981 6981 Opt s500i6.txt n k s Lmax 0 0 3 1 500 948 948 Opt 1 99 6 500 8932 8932 Opt 2 73 4 500 9666 9666 Opt 3 54 5 500 5490 5479 4 12 1 500 5501 5501 Opt 5 25 7 500 1708 1708 Opt 6 50 1 500 24895 24895 Opt 7 19 10 500 627 627 Opt 8 100 1 500 50420 50420 Opt 9 33 5 500 3293 3282 s500i7.txt n k s Lmax 0 0 29 3 500 4722 4722 Opt 1 59 10 500 3077 3073 2 75 2 500 19183 19183 Opt 3 73 4 500 9719 9719 Opt 4 32 3 500 5255 5252 Opt 5 24 8 500 1121 1120 6 93 10 500 5451 5451 Opt 7 97 1 500 48839 48839 Opt 8 28 6 500 2202 2202 Opt 9 8 7 500 502 502 Opt s500i8.txt n k s Lmax 0 0 85 3 500 14839 14839 Opt 1 69 1 500 34671 34671 Opt 2 65 4 500 8584 8584 Opt 3 72 7 500 5730 5730 Opt 4 75 6 500 6717 6717 Opt 5 58 8 500 4042 4042 Opt 6 75 7 500 5685 5676 7 13 9 500 555 552 8 91 5 500 9869 9863 9 85 5 500 8798 8798 Opt s500i9.txt n k s Lmax 0 0 8 6 500 536 528 Opt 1 54 1 500 26961 26961 Opt 2 97 10 500 5415 5415 Opt 3 40 7 500 2823 2817 Opt 4 20 2 500 4647 4647 Opt 5 97 3 500 17017 17017 Opt 6 60 8 500 3998 3996 Opt 7 100 10 500 5489 5466 8 81 9 500 4740 4726 9 55 4 500 6986 6986 Opt s50i0.txt n k s Lmax 0 0 4 6 50 0 0 Opt 1 66 2 50 2239 2239 Opt 2 71 2 50 2430 2430 Opt 3 97 7 50 1604 1585 4 75 8 50 1167 1162 5 86 5 50 1691 1685 6 15 7 50 141 141 Opt 7 18 2 50 514 514 Opt 8 57 6 50 931 923 9 89 6 50 1584 1582 s50i1.txt n k s Lmax 0 0 92 1 50 5452 5452 Opt 1 36 10 50 455 425 2 79 9 50 1167 1143 3 12 5 50 135 135 Opt 4 32 9 50 400 400 Opt 5 23 10 50 253 252 6 27 3 50 549 546 Opt 7 49 6 50 850 850 Opt 8 86 8 50 1334 1319 9 72 6 50 1260 1259 Opt s50i2.txt n k s Lmax 0 0 53 8 50 741 736 1 72 8 50 1083 1069 2 64 6 50 1042 1033 3 67 3 50 1710 1710 Opt 4 52 10 50 727 725 5 55 6 50 896 896 Opt 6 94 8 50 1532 1518 7 81 4 50 1750 1750 Opt 8 84 8 50 1297 1280 9 81 6 50 1493 1471 s50i3.txt n k s Lmax 0 0 33 3 50 769 767 Opt 1 90 7 50 1548 1547 2 66 2 50 2250 2250 Opt 3 41 7 50 590 572 4 41 8 50 614 614 Opt 5 46 5 50 879 878 6 87 2 50 2990 2990 Opt 7 75 8 50 1111 1105 8 11 7 50 82 74 Opt 9 47 7 50 670 663 s50i4.txt n k s Lmax 0 0 2 6 50 -46 -46 Opt 1 68 1 50 3953 3953 Opt 2 33 2 50 1109 1109 Opt 3 30 9 50 345 345 Opt 4 51 6 50 831 831 Opt 5 20 7 50 181 181 Opt 6 94 7 50 1607 1606 7 19 4 50 332 330 Opt 8 21 4 50 393 393 Opt 9 100 6 50 1710 1692 s50i5.txt n k s Lmax 0 0 49 10 50 588 538 1 87 5 50 1565 1559 2 55 6 50 855 855 Opt 3 16 7 50 154 151 4 57 4 50 1185 1185 Opt 5 22 9 50 242 242 Opt 6 37 2 50 1198 1198 Opt 7 91 10 50 1364 1348 8 98 8 50 1516 1488 9 58 6 50 998 989 s50i6.txt n k s Lmax 0 0 21 3 50 452 452 Opt 1 50 5 50 897 897 Opt 2 76 6 50 1335 1334 3 5 1 50 148 148 Opt 4 70 1 50 4122 4122 Opt 5 60 2 50 2081 2081 Opt 6 74 6 50 1259 1259 Opt 7 92 6 50 1639 1625 8 64 6 50 1001 1001 Opt 9 26 9 50 276 272 s50i7.txt n k s Lmax 0 0 80 8 50 1164 1157 1 34 4 50 711 711 Opt 2 93 4 50 1982 1982 Opt 3 81 7 50 1296 1289 4 91 1 50 5317 5317 Opt 5 34 6 50 538 514 6 24 7 50 263 263 Opt 7 24 1 50 1360 1360 Opt 8 52 1 50 3030 3030 Opt 9 34 7 50 558 518 s50i8.txt n k s Lmax 0 0 31 3 50 775 775 Opt 1 81 9 50 1189 1168 2 48 4 50 948 948 Opt 3 17 10 50 137 137 Opt 4 89 2 50 3001 3001 Opt 5 79 3 50 2093 2093 Opt 6 59 3 50 1470 1470 Opt 7 33 6 50 451 449 8 78 4 50 1731 1731 Opt 9 32 6 50 467 462 s50i9.txt n k s Lmax 0 0 39 10 50 465 448 1 3 6 50 16 16 Opt 2 21 4 50 385 385 Opt 3 65 5 50 1331 1323 4 34 10 50 449 449 Opt 5 86 9 50 1387 1370 6 59 3 50 1538 1538 Opt 7 91 6 50 1607 1607 Opt 8 99 1 50 5800 5800 Opt 9 48 1 50 2792 2792 Opt s5i0.txt n k s Lmax 0 0 20 4 5 95 95 Opt 1 60 2 5 733 696 2 74 3 5 785 774 3 75 1 5 1076 1072 Opt 4 69 10 5 663 656 5 100 4 5 1128 1098 6 41 3 5 375 375 Opt 7 79 3 5 925 911 8 44 10 5 415 410 9 25 7 5 243 238 s5i1.txt n k s Lmax 0 0 63 5 5 605 580 1 83 7 5 794 779 2 37 5 5 283 271 3 85 1 5 1187 1187 Opt 4 4 6 5 -1 -1 Opt 5 94 6 5 954 939 6 72 3 5 858 845 7 2 9 5 -20 -20 Opt 8 95 2 5 1139 1139 Opt 9 16 5 5 91 91 Opt s5i2.txt n k s Lmax 0 0 97 2 5 1096 1096 Opt 1 52 9 5 594 582 2 66 6 5 697 695 3 45 9 5 415 389 4 12 2 5 89 86 Opt 5 91 6 5 1027 1008 6 81 5 5 900 884 7 24 10 5 205 202 8 55 1 5 687 687 Opt 9 79 4 5 881 864 s5i3.txt n k s Lmax 0 0 29 2 5 313 294 1 19 8 5 88 88 Opt 2 93 8 5 900 891 3 59 3 5 613 603 4 37 8 5 286 281 5 54 1 5 780 780 Opt 6 66 6 5 710 693 7 15 6 5 82 82 Opt 8 92 4 5 977 950 9 81 9 5 857 844 s5i4.txt n k s Lmax 0 0 30 9 5 232 232 Opt 1 17 3 5 116 116 Opt 2 8 3 5 15 15 Opt 3 78 4 5 832 807 4 16 7 5 78 78 Opt 5 20 8 5 111 109 6 24 5 5 178 168 7 84 1 5 1151 1151 Opt 8 32 2 5 344 344 Opt 9 8 10 5 35 35 Opt s5i5.txt n k s Lmax 0 0 35 7 5 347 345 1 61 3 5 710 707 Opt 2 94 4 5 1119 1089 3 98 10 5 1041 1020 4 88 6 5 885 865 5 74 2 5 816 816 Opt 6 45 8 5 380 370 7 87 7 5 968 953 8 57 10 5 593 583 9 60 7 5 554 554 Opt s5i6.txt n k s Lmax 0 0 95 9 5 971 966 1 40 9 5 354 349 2 2 2 5 -26 -26 Opt 3 7 9 5 33 33 Opt 4 100 8 5 1198 1188 5 31 6 5 254 249 6 98 6 5 1114 1104 7 15 9 5 70 70 Opt 8 27 8 5 195 190 9 18 2 5 103 103 Opt s5i7.txt n k s Lmax 0 0 92 9 5 984 969 1 95 3 5 962 962 Opt 2 6 6 5 1 1 Opt 3 21 8 5 144 139 4 71 5 5 681 668 5 65 8 5 666 656 6 40 8 5 298 285 7 30 8 5 196 191 8 45 5 5 413 398 9 71 1 5 945 945 Opt s5i8.txt n k s Lmax 0 0 23 5 5 166 152 Opt 1 51 4 5 534 524 2 41 3 5 404 380 3 43 5 5 376 366 4 15 2 5 106 106 Opt 5 90 6 5 928 905 6 89 4 5 988 963 7 76 2 5 897 897 Opt 8 67 10 5 617 602 9 14 6 5 84 84 Opt s5i9.txt n k s Lmax 0 0 34 8 5 264 258 1 86 1 5 1208 1208 Opt 2 26 7 5 240 238 3 41 5 5 368 362 4 98 5 5 1034 1008 5 59 1 5 836 836 Opt 6 28 10 5 273 270 7 52 9 5 483 476 8 69 7 5 741 731 9 89 9 5 901 881